2,201 research outputs found

    Unit Mixed Interval Graphs

    Get PDF
    In this paper we extend the work of Rautenbach and Szwarcfiter by giving a structural characterization of graphs that can be represented by the intersection of unit intervals that may or may not contain their endpoints. A characterization was proved independently by Joos, however our approach provides an algorithm that produces such a representation, as well as a forbidden graph characterization

    Investigating Automatic Static Analysis Results to Identify Quality Problems: an Inductive Study

    Get PDF
    Background: Automatic static analysis (ASA) tools examine source code to discover "issues", i.e. code patterns that are symptoms of bad programming practices and that can lead to defective behavior. Studies in the literature have shown that these tools find defects earlier than other verification activities, but they produce a substantial number of false positive warnings. For this reason, an alternative approach is to use the set of ASA issues to identify defect prone files and components rather than focusing on the individual issues. Aim: We conducted an exploratory study to investigate whether ASA issues can be used as early indicators of faulty files and components and, for the first time, whether they point to a decay of specific software quality attributes, such as maintainability or functionality. Our aim is to understand the critical parameters and feasibility of such an approach to feed into future research on more specific quality and defect prediction models. Method: We analyzed an industrial C# web application using the Resharper ASA tool and explored if significant correlations exist in such a data set. Results: We found promising results when predicting defect-prone files. A set of specific Resharper categories are better indicators of faulty files than common software metrics or the collection of issues of all issue categories, and these categories correlate to different software quality attributes. Conclusions: Our advice for future research is to perform analysis on file rather component level and to evaluate the generalizability of categories. We also recommend using larger datasets as we learned that data sparseness can lead to challenges in the proposed analysis proces

    Biting the Hand that Feeds: How Trademark Protection Might Threaten School Spirit

    Get PDF
    None

    IUE absorption studies of broad- and narrow-line gas in Seyfert galaxies

    Get PDF
    The interstellar medium of a galaxy containing an active nucleus may be profoundly affected by the high energy (X-ray, EUV) continuum flux emanating from the central source. The energetic source may photoionize the interstellar medium out to several kiloparsecs, thereby creating a global H II region. The International Ultraviolet Explorer (IUE) satellite has attempted to observe in several Seyfert galaxies (NGC 3516, NGC 4151, NGC 1068, 3C 120) the narrow absorption lines expected from such global H II regions. Instead, in two of the galaxies (NGC 3516, NGC 4151) broad, variable absorption lines at C IV lambda 1550, N V lambda 1240, and Si IV lambda 1400 were found, as well as weaker absorption features at O I lambda 1302 and C II lambda 1335. These features swamp any possible global H II region absorption. Such broad absorption features have previously been observed in IUE data, but their origin is still not well understood

    Turbulent mixing layers in the interstellar medium of galaxies

    Get PDF
    We propose that turbulent mixing layers are common in the interstellar medium (ISM). Injection of kinetic energy into the ISM by supernovae and stellar winds, in combination with density and temperature inhomogeneities, results in shear flows. Such flows will become turbulent due to the high Reynolds number (low viscosity) of the ISM plasma. These turbulent boundary layers will be particularly interesting where the shear flow occurs at boundaries of hot (approximately 10(exp 6) K) and cold or warm (10(exp 2) - 10(exp 4) K) gas. Mixing will occur in such layers producing intermediate-temperature gas at T is approximately equal to 10(exp 5.0) - 10(exp 5.5) that radiates strongly in the optical, ultraviolet, and EUV. We have modeled these layers under the assumptions of rapid mixing down to the atomic level and steady flow. By including the effects of non-equilibrium ionization and self-photoionization of the gas as it cools after mixing, we predict the intensities of numerous optical, infrared, and ultraviolet emission lines, as well as absorption column densities of C 4, N 5, Si 4, and O 6

    Constraints on First-Light Ionizing Sources from Optical Depth of the Cosmic Microwave Background

    Get PDF
    We examine the constraints on high-redshift star formation, ultraviolet and X-ray pre-ionization, and the epoch of reionization at redshift z_r, inferred from the recent WMAP-5 measurement, tau_e = 0.084 +/- 0.016, of the electron scattering optical depth of the cosmic microwave background (CMB). Half of this scattering can be accounted for by the optical depth, tau_e = 0.04-0.05, of a fully ionized intergalactic medium (IGM) at z < z_GP = 6-7, consistent with Gunn-Peterson absorption in neutral hydrogen. The required additional optical depth, Delta-tau_e = 0.03 +/- 0.02 at z > z_GP, constrains the ionizing contributions of first light sources. WMAP-5 also measured a significant increase in small-scale power, which lowers the required efficiency of star formation and ionization from mini-halos. Early massive stars (UV radiation) and black holes (X-rays) can produce a partially ionized IGM, adding to the residual electrons left from incomplete recombination. Inaccuracies in computing the ionization history, x_e(z), and degeneracies in cosmological parameters (Omega_m, Omega_b, sigma_8, n_s) add systematic uncertainty to the measurement and modeling of Ď„e\tau_e. From the additional optical depth from sources at z > z_GP, we limit the star-formation efficiency, the rate of ionizing photon production for Pop III and Pop II stars, and the photon escape fraction, using standard histories of baryon collapse, minihalo star formation, and black-hole X-ray preionization.Comment: Greatly revised version, based on WMAP-5 results and new models. Accepted for ApJ (2008

    The Local Lyman-Alpha Forest: Absorbers in Galaxy Voids

    Full text link
    We have conducted pointed redshift surveys for galaxies in the direction of bright AGN whose HST far-UV spectra contain nearby (cz <~ 30,000 kms), low column density (12.5 <= log N_{HI} (cm s^{-2}) <= 14.5) Ly-alpha forest absorption systems. Here we present results for four lines-of-sight which contain nearby (cz <~ 3000 kms) Ly-alpha absorbers in galaxy voids. Although our data go quite deep (-13 <= M_{B}(limit) <= -14) out to impact parameters of 100-250 h_{70}^{-1} kpc, these absorbers remain isolated and thus appear to be truly intergalactic, rather than part of galaxies or their halos. Since we and others have discovered no galaxies in voids, the only baryons detected in the voids are in the Ly-alpha ``clouds''. Using a photoionization model for these clouds, the total baryonic content of the voids is 4.5% +/- 1.5% of the mean baryon density.Comment: 5 pages, 1 figure, accepted for publication in Astrophysical Journal Letter

    Highly Ionized High-Velocity Clouds toward PKS 2155-304 and Markarian 509

    Full text link
    To gain insight into four highly ionized high-velocity clouds (HVCs) discovered by Sembach et al. (1999), we have analyzed data from the Hubble Space Telescope (HST) and Far Ultraviolet Spectroscopic Explorer (FUSE) for the PKS 2155-304 and Mrk 509 sight lines. We measure strong absorption in OVI and column densities of multiple ionization stages of silicon (SiII/III/IV) and carbon (CII/III/IV). We interpret this ionization pattern as a multiphase medium that contains both collisionally ionized and photoionized gas. Toward PKS 2155-304, for HVCs at -140 and -270 km/s, respectively, we measure logN(OVI)=13.80+/-0.03 and log N(OVI)=13.56+/-0.06; from Lyman series absorption, we find log N(HI)=16.37^(+0.22)_(-0.14) and 15.23^(+0.38)_(-0.22). The presence of high-velocity OVI spread over a broad (100 km/s) profile, together with large amounts of low-ionization species, is difficult to reconcile with the low densities, n=5x10^(-6) cm^(-3), in the collisional/photoionization models of Nicastro et al. (2002), although the HVCs show a similar relation in N(SiIV)/N(CIV) versus N(CII)/N(CIV) as high-z intergalactic clouds. Our results suggest that the high-velocity OVI in these absorbers do not necessarily trace the WHIM, but instead may trace HVCs with low total hydrogen column density. We propose that the broad high-velocity OVI absorption arises from shock ionization, at bowshock interfaces produced from infalling clumps of gas with velocity shear. The similar ratios of high ions for HVC Complex C and these highly ionized HVCs suggest a common production mechanism in the Galactic halo.Comment: 38 pages, including 10 figures. ApJ, 10 April, 2004. Replaced with accepted versio

    The HI Environment of Nearby Lyman-alpha Absorbers

    Get PDF
    We present the results of a VLA and WSRT search for HI emission from the vicinity of seven nearby clouds, which were observed in Lya absorption with HST toward Mrk335, Mrk501 and PKS2155-304. We searched a volume of 40' x 40' x 1000 km/s. The HI mass sensitivity (5 sigma) varies from 5x10^6 to 5x10^8 Msun. We detected HI emission in the vicinity of four out of seven absorbers. The closest galaxy is a small dwarf galaxy at a projected distance of 68/h kpc from the sight line toward Mrk335. It has the same velocity (V=1970 km/s) as one of the absorbers, and has an HI mass of only 4x10^7 Msun. We found a more luminous galaxy at the velocity (V=5100 km/s) of one of the absorbers toward PKS2155-304, 230/h kpc from the sight line. Two other, stronger absorbers toward PKS2155-304 at V=17,000 km/s are associated with a loose group of three bright spiral galaxies, at projected distances of 300 to 600/h kpc. These results support the conclusion that most nearby Lya forest clouds trace the large-scale structures outlined by optically luminous galaxies. We do not find any evidence for a physical association between an absorber and its closest galaxy.Comment: 4 Tables, 11 Figures, to be published in Astron J. (Oct 1996) Vol 11
    • …
    corecore